TAGs: Formal group examples